Hyperprojective Hierarchy of qcb0-Spaces
نویسندگان
چکیده
We extend the Luzin hierarchy of qcb0-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb0-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hierarchy. We show that the category of hyperprojective qcb0-spaces has much better closure properties than the category of projective qcb0-space. As a result, there are natural examples of spaces that are hyperprojective but not projective.
منابع مشابه
Domain Representable Spaces Defined by Strictly Positive Induction
Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological spaces. A qcb0 space is a topological space characterized by its strong representability over domains. In this paper, we study strictly positive inductive definiti...
متن کاملA Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract)
We introduce the notion of quasi-zero-dimensionality as a substitute for the notion of zero-dimensionality, motivated by the fact that the latter behaves badly in the realm of qcb-spaces. We prove that the category QZ of quasi-zero-dimensional qcb0-spaces is cartesian closed. Prominent examples of spaces in QZ are the spaces in the sequential hierarchy of the Kleene-Kreisel continuous functiona...
متن کاملWeighted hyperprojective spaces and homotopy invariance in orbifold cohomology
We show that Chen-Ruan cohomology is a homotopy invariant in certain cases. We introduce the notion of a T -representation homotopy which is a stringent form of homotopy under which Chen-Ruan cohomology is invariant. We show that while hyperkähler quotients of T C by S (here termed weighted hyperprojective spaces) are homotopy equivalent to weighted projective spaces, they are not S-representat...
متن کاملSome Hierarchies of QCB0-Spaces
We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into Pω, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of the hier...
متن کاملA Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces
We introduce the notion of quasi-zero-dimensionality as a substitute for the notion of zero-dimensionality, motivated by the fact that the latter behaves badly in the realm of qcb-spaces. We prove that the category QZ of quasi-zero-dimensional qcb0-spaces is cartesian closed. Prominent examples of spaces in QZ are the spaces of the Kleene-Kreisel continuous functionals equipped with the respect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014